#include <stdio.h>
#include "unistd.h"
#include <syscall.h>

#define gettidv1() syscall(__NR_gettid)
#define gettidv2() syscall(SYS_gettid)

int main(int argc, const char **argv) {
    printf("%d %ld %ld\n", getpid(), gettidv1(), gettidv2());
    return 0;
}
